Nuprl Definition : d-rename
0,22
postcript
pdf
d-rename(
rx
;
ra
;
rt
;
D
)(
i
) == ma-rename(
rx
;
ra
;
rt
;
D
(
i
))
latex
Definitions
x
.
A
(
x
)
,
ma-rename(
rx
;
ra
;
rt
;
M
)
,
f
(
a
)
FDL editor aliases
d-rename
origin
x.A(x)x.A(x)